きょりくうかん

きょりくうかん【距離空間】

〔metric space〕

〔数〕 集合 M の任意の要素 x， y に対して， 次の(1)～(3)をみたす実数 d（x, y）が対応しているとき， d を M 上の距離関数といい， M を距離空間， M の要素をこの距離空間の点という。 (1) d（x, x）＝0; x≠y ならば d（x, y）＞0(2) d（x, y）＝d（y, x）(3) d（x, y）＋d（y, z）≧d（x, z）